Supporting a Multi-formalism Model Driven Development Process with Model Transformation, a TOPCASED implementation

International audienceThe ASSERT (Automated proof based System and Software Engineering for Real-Time Applications) European Integrated Project (IST-FP6-004033, http://www.assert-project.net/) defined and experimented a multi formalism Model Driven Engineering (MDE) process, enforcing an approach with separated specification and refinement of functional and non-functional properties.• Functional specification, design and development is based on UML profiles to support AADL concepts [2] and behavioural specification.• Real time Architecture properties are based on extensions targeting Ravenscar Computing execution Model (RCM see [6]) constraints upon component interface and ports.• Model transformation is supporting correctness preserving rules towards a Virtual Machine execution environment or a verification dedicated environment.A tool chain called IDEA (Integrated Development Environment for ASSERT) supporting the process was developed by the CS ASSERT team on top of the Eclipse/TOPCASED environment allowing:• Integrated use of several formalisms in a development life-cycle (UML, AADL, IF[4]) .• Model transformation from UML to IF, AADL to RCM and RCM to Ada• Automated code generationThe approach experimented allows combined use of best suited formalisms and features for MDE developments. The TOPCASED tool proved to be a unique integrated toolset for prototyping UML and meta models supporting tools.The main feedback gained from applying the notations and approach on small to medium case studies is that UML profiling is not scalable, and that use of several Domain Specific Languages (DSL) seems far more suitable. Semantic clashes can be limited by raising the abstraction level, and by partitioning properties for verification

Slacklining as therapy to address non-specific low back pain in the presence of multifidus arthrogenic muscle inhibition

Low back pain (LBP) represents the most prevalent, problematic and painful of musculoskeletal conditions that affects both the individual and society with health and economic concerns. LBP is a heterogeneous condition with multiple diagnoses and causes. In the absence of consensus definitions, partly because of terminology inconsistency, it is further referred to as non-specific LBP (NSLBP). In NSLBP patients, the lumbar multifidus (MF), a key stabilizing muscle, has a depleted role due to recognized myocellular lipid infiltration and wasting, with the potential primary cause hypothesized as arthrogenic muscle inhibition (AMI). This link between AMI and NSLBP continues to gain increasing recognition. To date there is no 'gold standard' or consensus treatment to alleviate symptoms and disability due to NSLBP, though the advocated interventions are numerous, with marked variations in costs and levels of supportive evidence. However, there is consensus that NSLBP management be cost-effective, self-administered, educational, exercise-based, and use multi-modal and multi-disciplinary approaches. An adjuvant therapy fulfilling these consensus criteria is 'slacklining', within an overall rehabilitation program. Slacklining, the neuromechanical action of balance retention on a tightened band, induces strategic indirect-involuntary therapeutic muscle activation exercise incorporating spinal motor control. Though several models have been proposed, understanding slacklining's neuro-motor mechanism of action remains incomplete. Slacklining has demonstrated clinical effects to overcome AMI in peripheral joints, particularly the knee, and is reported in clinical case-studies as showing promising results in reducing NSLBP related to MF deficiency induced through AMI (MF-AMI). Therefore, this paper aims to: rationalize why and how adjuvant, slacklining therapeutic exercise may positively affect patients with NSLBP, due to MF-AMI induced depletion of spinal stabilization; considers current understandings and interventions for NSLBP, including the contributing role of MF-AMI; and details the reasons why slacklining could be considered as a potential adjuvant intervention for NSLBP through its indirect-involuntary action. This action is hypothesized to occur through an over-ride or inhibition of central down-regulatory induced muscle insufficiency, present due to AMI. This subsequently allows neuroplasticity, normal neuro-motor sequencing and muscle re-activation, which facilitates innate advantageous spinal stabilization. This in-turn addresses and reduces NSLBP, its concurrent symptoms and functional disability. This process is hypothesized to occur through four neuro-physiological processing pathways: finite neural delay; movement-control phenotypes; inhibition of action and the innate primordial imperative; and accentuated corticospinal drive. Further research is recommended to investigate these hypotheses and the effect of slacklining as an adjuvant therapy in cohort and control studies of NSLBP populations

Characterization of a small tRNA-binding protein that interacts with the archaeal proteasome complex

Authors acknowledge financial support from the French Agence Nationale de la Recherche (grant [ANR-18-CE11-0018-01] to B.F. and [ANR-16-CE12-0016-01] to B.C.O). This work used the platforms of the Grenoble Instruct-ERIC Centre (ISBG: UMS3518 CNRS-CEA-UGA-EMBL) with support from FRISBI (ANR-10-INBS-05-02) and GRAL, a project of the University Grenoble Alpes graduate school (Ecoles Universitaires de Recherche) CBH-EUR-GS (ANR-17-EURE-0003) within the Grenoble Partnership for Structural Biology. The IBS Electron Microscope facility is supported by the Auvergne Rhône-Alpes Region, the Fonds Feder, the Fondation pour la Recherche Médicale and GIS-IBiSA.The proteasome system allows the elimination of functional or structurally impaired proteins. This includes the degradation of nascent peptides. In Archaea, how the proteasome complex interacts with the translational machinery remains to be described. Here, we characterised a small orphan protein, Q9UZY3 (Uniprot ID) conserved in Thermococcales. The protein was identified in native pull-down experiments using the proteasome regulatory complex (PAN) as bait. X-ray crystallography and SAXS experiments revealed that the protein is monomeric and adopts a β-barrel core structure with an Oligonucleotide/oligosaccharide-Binding (OB) fold, typically found in translation elongation factors. Mobility shift experiment showed that Q9UZY3 displays tRNA binding properties. Pull-downs, co-immunoprecipitation and ITC studies revealed that Q9UZY3 interacts in vitro with PAN. Native pull-downs and proteomic analysis using different versions of Q9UZY3 showed that the protein interacts with the assembled PAN-20S proteasome machinery in Pyrococcus abyssi cellular extracts. The protein was therefore named Pbp11, for Proteasome Binding Protein of 11 kDa. Interestingly, the interaction network of Pbp11 also includes ribosomal proteins, tRNA processing enzymes and exosome subunits dependent on Pbp11's N-terminal domain that was found to be essential for tRNA binding. Together these data suggest that Pbp11 participates in an interface between the proteasome and the translational machinery.Publisher PDFPeer reviewe

An OpenEmbeDD experimentation: "transformation from an SDL profiled UML model to a FIACRE model"

International audienceCS (http://www.c-s.fr) is in charge to experiment a model to model transformation, in the OpenEmbeDD (http://openembedd.org/home_html) project (an RNTL project). The objective of this experimentation is to provide an operational model verification chain : starting at user level (SDL profiled UML), using an intermediate (or "pivot") language (FIACRE), and terminating at verification level (TINA or CADP). This experimentation uses (and must provide updates of) TOPCASED tools (TOPCASED, http://www.TOPCASED.org/, is an Aerospace Valley project http://www.aerospace-valley.com/en/). It is fundamental work in the context of this project, because it validates a complete approach for critical application models verification. The aim of our paper is to describe this experimentation. First the state of the art and the key points associated to this kind of approaches is presented. Next a detailed description of the made work (meta models, mappings and tools …) and at last a tutorial with the last critical open points and an action list to reach the final objectives

A Model for the Training Effects in Swimming Demonstrates a Strong Relationship between Parasympathetic Activity, Performance and Index of Fatigue

<div><p>Competitive swimming as a physical activity results in changes to the activity level of the autonomic nervous system (ANS). However, the precise relationship between ANS activity, fatigue and sports performance remains contentious. To address this problem and build a model to support a consistent relationship, data were gathered from national and regional swimmers during two 30 consecutive-week training periods. Nocturnal ANS activity was measured weekly and quantified through wavelet transform analysis of the recorded heart rate variability. Performance was then measured through a subsequent morning 400 meters freestyle time-trial. A model was proposed where indices of fatigue were computed using Banister’s two antagonistic component model of fatigue and adaptation applied to both the ANS activity and the performance. This demonstrated that a logarithmic relationship existed between performance and ANS activity for each subject. There was a high degree of model fit between the measured and calculated performance (R² = 0.84±0.14,p<0.01) and the measured and calculated High Frequency (HF) power of the ANS activity (R² = 0.79±0.07, p<0.01). During the taper periods, improvements in measured performance and measured HF were strongly related. In the model, variations in performance were related to significant reductions in the level of ‘Negative Influences’ rather than increases in ‘Positive Influences’. Furthermore, the delay needed to return to the initial performance level was highly correlated to the delay required to return to the initial HF power level (p<0.01). The delay required to reach peak performance was highly correlated to the delay required to reach the maximal level of HF power (p = 0.02). Building the ANS/performance identity of a subject, including the time to peak HF, may help predict the maximal performance that could be obtained at a given time.</p> </div

Relationship between HF (s²/Hz) and Performance (% best national Performance).

<p>Representation for four female (S2, S4, S5, S6) and six male subjects (S1, S3, S7, S8, S9, S10). Best performances were: Female: 1.42 m.s⁻¹ (S2), 1.32 m.s⁻¹ (S4), 1.18 m.s⁻¹ (S5) and 1.47 m.s⁻¹ (S6); and Male: 1.51 m.s⁻¹ (S1), 1.39 m.s⁻¹ (S3), 1.64 m.s⁻¹ (S7), 1.47 m.s⁻¹ (S8), 1.45 m.s⁻¹ (S9) and 1.41 m.s⁻¹ (S10).</p

Model parameters (mean±SD) for performance and HF spectral components of HRV.

<p><b>Initial level</b>: Initial basic level of performance and HF spectral component of HRV<b>.</b></p><p><b>k₁</b> and <b>k₂</b> : multiplying factors respectively for the positive and negative component of performance and HF spectral component of HRV. <b>τ₁</b> and <b>τ₂</b> : time constants of decay for positive and negative components of performance and HF spectral component of HRV.</p><p><b>t_n</b> : Critical period pre-competition in which training has a negative effect on performance (t_{n_P}) and HF spectral component of HRV (t_{n_HF}).</p><p><b>t_g</b> : time pre-competition when training has maximum benefit.</p><p><b>k₁</b> and <b>k₂</b> are expressed in arbitrary units depending on units used to quantify training load, performance and HF spectral component of HRV.</p